trigger1{$trigger:ut2, $a:ut2, $x:ut2}
trigger1(T; A; P; i; k)
== ([R-base-recognize(i;"$x" : A;"$trigger";k;T;s,v. P(s("$x"),v)); 

== ([Rpre(i;"$trigger" : ;"$a";*1*;s.s("$trigger"))]) 

latex

---

clarification:

trigger1{$trigger:ut2, $a:ut2, $x:ut2}
trigger1(T; A; P; i; k)
== ([R-base-recognize(i;"$x" : A;"$trigger";k;T;s,v. P(s("$x"),v)) / 
== ([[Rpre(i;"$trigger" : ;"$a";*1*;s.s("$trigger")) / []]]) 

latex

Definitions

(L), R-base-recognize(i;ds;x;k;T;test), [car / cdr], Rpre(loc;ds;a;p;P), x : v, , *1*, x.A(x), f(a), "$x", []